0.05/0.10 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.05/0.11 % Command : run_portfolio.sh /export/starexec/sandbox2/benchmark/theBenchmark.p /export/starexec/sandbox2/tmp/tmp.eJv2T1VPGS 0.11/0.32 % Computer : n015.cluster.edu 0.11/0.32 % Model : x86_64 x86_64 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.11/0.32 % Memory : 8042.1875MB 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 0.11/0.32 % CPULimit : 1200 0.11/0.32 % DateTime : Tue Jul 13 11:37:05 EDT 2021 0.11/0.32 % CPUTime : 0.11/0.32 % Running portfolio for 120 s 0.11/0.32 % File : /export/starexec/sandbox2/benchmark/theBenchmark.p 0.11/0.32 % Number of cores: 8 0.11/0.32 % Python version: Python 3.6.8 0.11/0.32 % Running in HO mode 0.44/0.58 % Estimated wc time : 1286 0.44/0.58 % Estimated cpu time (7 cpus) : 183.71428571428572 0.48/0.68 % /export/starexec/sandbox2/solver/bin/lams/b.rpo.sh running for 21s 0.48/0.68 % /export/starexec/sandbox2/solver/bin/lams/s6.sh running for 21s 0.48/0.68 % /export/starexec/sandbox2/solver/bin/lams/s6.ds.sh running for 10s 0.48/0.69 % /export/starexec/sandbox2/solver/bin/lams/new_b3.2.norw.sh running for 15s 0.48/0.69 % /export/starexec/sandbox2/solver/bin/lams/c.easy.sh running for 26s 0.48/0.70 % /export/starexec/sandbox2/solver/bin/lams/old_b3.avatar.sh running for 15s 0.49/0.70 % /export/starexec/sandbox2/solver/bin/lams/c.s.2.sh running for 68s 68.95/10.49 % /export/starexec/sandbox2/solver/bin/lams/old_sp2.sh running for 17s 105.72/15.71 % /export/starexec/sandbox2/solver/bin/lams/b.sh running for 31s 105.72/15.73 % /export/starexec/sandbox2/solver/bin/lams/sh1.sh running for 26s 145.30/21.49 % /export/starexec/sandbox2/solver/bin/lams/b.lsimp.sh running for 17s 145.30/21.50 % /export/starexec/sandbox2/solver/bin/lams/b.split.sh running for 31s 181.15/26.60 % /export/starexec/sandbox2/solver/bin/lams/s4.sh running for 15s 187.04/27.52 % /export/starexec/sandbox2/solver/bin/lams/b.rw.sh running for 26s 188.44/27.82 % /export/starexec/sandbox2/solver/bin/lams/c_ic.sh running for 42s 263.18/38.54 % /export/starexec/sandbox2/solver/bin/lams/s1.f.sh running for 15s 283.97/41.56 % /export/starexec/sandbox2/solver/bin/lams/c.preprocess2.sh running for 21s 320.04/46.79 % /export/starexec/sandbox2/solver/bin/lams/sh.or.sh running for 26s 357.52/52.57 % /export/starexec/sandbox2/solver/bin/lams/new.cs3.comb.sh running for 18s 362.77/53.38 % /export/starexec/sandbox2/solver/bin/lams/old_b2.sh running for 31s 364.52/53.68 % /export/starexec/sandbox2/solver/bin/lams/sp5.sh running for 36s 425.39/62.71 % /export/starexec/sandbox2/solver/bin/lams/b2.sh running for 15s 467.30/68.72 % /export/starexec/sandbox2/solver/bin/lams/b.lcnf.od.sh running for 26s 474.63/69.86 % /export/starexec/sandbox2/solver/bin/lams/c.s.sh running for 36s 478.33/70.44 % /export/starexec/sandbox2/solver/bin/lams/b3.sh running for 26s 495.20/72.92 % /export/starexec/sandbox2/solver/bin/lams/cmb.lcnf.sh running for 10s 527.28/77.56 % /export/starexec/sandbox2/solver/bin/lams/sh.eqenc.sh running for 17s 564.08/82.81 % /export/starexec/sandbox2/solver/bin/lams/p.ll.e2.sh running for 17s 575.26/84.41 % /export/starexec/sandbox2/solver/bin/lams/c.cmb.sh running for 21s 610.94/89.61 % /export/starexec/sandbox2/solver/bin/lams/cs1.sh running for 47s 645.38/94.57 % /export/starexec/sandbox2/solver/bin/lams/old_s4.sh running for 36s 645.38/94.59 % /export/starexec/sandbox2/solver/bin/lams/old.cs2combs.sh running for 23s 659.00/96.58 % /export/starexec/sandbox2/solver/bin/lams/b5.sh running for 7s 680.47/99.90 % /export/starexec/sandbox2/solver/bin/lams/eignore3.sh running for 36s 705.07/103.45 % /export/starexec/sandbox2/solver/bin/lams/e_lift.sh running for 38s 717.57/105.25 % /export/starexec/sandbox2/solver/bin/lams/e_lift_late.sh running for 31s 720.87/105.70 % /export/starexec/sandbox2/solver/bin/lams/s6.2.sh running for 10s 789.87/115.55 % /export/starexec/sandbox2/solver/bin/lams/sh.linf.sh running for 23s 803.01/117.46 % /export/starexec/sandbox2/solver/bin/lams/b6.sh running for 15s 821.61/120.15 /usr/lib64/python3.6/multiprocessing/semaphore_tracker.py:55: UserWarning: semaphore_tracker: process died unexpectedly, relaunching. Some semaphores might leak. 821.61/120.15 warnings.warn('semaphore_tracker: process died unexpectedly, ' 821.61/120.20 Alarm clock 821.61/120.20 % Zipperpin 1.5 exiting 821.61/120.20 EOF